Instance modeling – beyond object-oriented modeling
نویسندگان
چکیده
Most object-oriented methodologies assign to instance models a minor role, using them to depict behavior scenarios and to show examples. For a large number of applications, among which enterprise models represent an outstanding example, traditional class-based models are not sufficient as tools. An enhanced object-oriented modeling methodology has to be devised in order to face the problems that instance models present. The main problem with using instance models to describe large and complex systems, such an enterprise, is the size of the resulting model. Thus the model needs to be organized and managed in an effective way. In addition CASE tools are needed, which provide a valid support to the construction of instance models. In particular the conformance of an instance model to a class model must be guaranteed. The OPJ approach is presented which tries to solve both organization and tool-oriented problems. A case study concerning enterprise modeling is used to show the main features of the proposed approach. The proposed methodology requires a suitable visual modeling environment, which implements the operational concepts that make up the methodology.
منابع مشابه
Modelsaz: An Object-Oriented Computer-Aided Modeling Environment
Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کامل